upward induction

[数] 向上归纳法